On the Gauge Equivalence of Twisted Quantum Doubles of Elementary Abelian and Extra-Special 2-Groups

We establish braided tensor equivalences among module categories over the twisted quantum double of a finite group defined by an extension of a group H by an abelian group, with 3-cocycle inflated from a 3-cocycle on H. We also prove that the canonical ribbon structure of the module category of any twisted quantum double of a finite group is preserved by braided tensor equivalences. We give two main applications: first, if G is an extra-special 2-group of width at least 2, we show that the quantum double of G twisted by a 3-cocycle w is gauge equivalent to a twisted quantum double of an elementary abelian 2-group if, and only if, w^2 is trivial; second, we discuss the gauge equivalence classes of twisted quantum doubles of groups of order 8, and classify the braided tensor equivalence classes of these quasi-triangular quasi-bialgebras. It turns out that there are exactly 20 such equivalence classes.Comment: 27 pages, LateX, a few of typos in v2 correcte

Hopf Structures and Duality

info:eu-repo/semantics/nonPublishe

Hopf Bimodules, Coquasibialgebras, and an Exact Sequence of Kac

AbstractBased on the ideas of Tannaka–Kreın reconstruction, we present a categorical construction that assigns to any cleft Hopf algebra inclusion K⊂H a coquasibialgebra having K* as a Hopf subalgebra. As a special case, the construction gives an intrinsic connection between the bismash product K#Q and the double cross- product Q⋈K* constructed from the same combinatorial data. A cocommutative coquasibialgebra is the same as a cocommutative bialgebra equipped with a Sweedler three-cocycle. Thus our construction assigns to every bicrossproduct (or Hopf algebra extension) of a commutative and a cocommutative factor a corresponding cocommutative double crossproduct equipped with a Sweedler three-cocycle. Based on this observation we use the construction to prove generalizations of Kac's exact sequence for the group of Hopf algebra extensions of a group algebra by a dual group algebra